inspecteur divisionnaire des finances publiques, classe normale, à titre posthume